Foundations of mathematics - PDFSEARCH.IO - Document Search Engine

Foundations of mathematics
Results: 359

#	Item
331	AN INTERVIEW WITH PAUL BENACERRAF JUNE 2000 Add to Reading List Source URL: philosophy.stanford.edu Language: English - Date: 2010-02-28 22:23:47 Philosophy of mathematics Metaphysicians Branches of philosophy Paul Benacerraf Hilary Putnam Anti-realism Structuralism Truth The Foundations of Arithmetic Philosophy Analytic philosophers Philosophers of mathematics
332	Reprints in Theory and Applications of Categories, No. 16, 2006, pp. 1–16. ADJOINTNESS IN FOUNDATIONS Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2006-10-30 16:11:22 Functors Adjoint functors Universal property Equivalence of categories Natural transformation Topos Forgetful functor Sheaf Cartesian closed category Category theory Abstract algebra Mathematics
333	Proof, Sets, and Logic M. Randall Holmes November 30, 2012 Add to Reading List Source URL: math.boisestate.edu Language: English - Date: 2012-11-30 21:29:32 Urelements Z notation New Foundations Type theory Willard Van Orman Quine Zermelo–Fraenkel set theory Axiom of choice Zermelo set theory S Mathematical logic Set theory Mathematics
334	This book is dedicated to Prabir Roy, Louis McAuley, Jonathan Seldin, Anil Nerode, and Maurice Boffa, my teachers, and to W. V. O. Quine and R. B. Jensen, the founders of this style of set theory. Add to Reading List Source URL: math.boisestate.edu Language: English - Date: 2012-11-30 11:20:44 Urelements Z notation New Foundations Type theory Willard Van Orman Quine Zermelo–Fraenkel set theory Implementation of mathematics in set theory S Ordinal number Mathematical logic Set theory Mathematics
335	Curry’s Formalism as Structuralism∗ Jonathan P. Seldin Department of Mathematics and Computer Science Add to Reading List Source URL: people.uleth.ca Language: English - Date: 2005-09-09 19:46:46 Formal languages Metalogic Philosophy of mathematics Logical syntax Formalism Formal system Foundations of mathematics Formal proof Theorem Logic Mathematics Mathematical logic
336	Mathematical Foundations of Automata Theory ´ Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-09-16 05:35:16 Semigroup theory Formal languages Algebraic structures Category theory Automata theory Monoid Free monoid Semigroup Transformation semigroup Abstract algebra Mathematics Algebra
337	being abandoned. Let us analyse some of these events and issues in greater detail. Add to Reading List Source URL: personal.us.es Language: English - Date: 2009-07-10 08:53:39 Mathematical logic Logicism Foundations of mathematics Intuitionism Set theory Impredicativity Constructivism Axiomatic system Axiom of choice Mathematics Logic Philosophy of mathematics
338	Notes on Frege Nicolas Fillion PhD Candidate Add to Reading List Source URL: www.nfillion.com Language: English - Date: 2013-03-09 18:03:30 Philosophical logic Philosophy of language Meaning Philosophy of mathematics Gottlob Frege Begriffsschrift The Foundations of Arithmetic Logicism Sense and reference Logic Philosophy Analytic philosophy
339	On the foundations of combinatorial theory I. Theory of M&#x00F6;bius Functions Add to Reading List Source URL: www.maths.ed.ac.uk Language: English - Date: 2009-11-22 03:36:34 Algebraic structures Functions and mappings Incidence algebra Matroid Function Binomial coefficient Surjective function Partially ordered set Locally finite poset Mathematics Abstract algebra Order theory
340	The Origins of Structural Operational Semantics Gordon D. Plotkin Laboratory for Foundations of Computer Science, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-30 10:44:07 Logic in computer science Programming language semantics Models of computation Formal methods Denotational semantics Operational semantics Semantics of programming languages Lambda calculus Programming Computable Functions Theoretical computer science Computer science Applied mathematics

UPDATE